Towards real-time verification of CO2 emissions
نویسندگان
چکیده
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملTowards zero CO2 emissions in the production of methanol from switchgrass. CO2 to methanol
In this work an integrated facility is proposed that produces methanol from switchgrass and uses the captured CO2 to enhance the production capacity by 50% via CO2 hydrogenation. The process consists of two sections, biomass processing to syngas and its conversion to methanol, and the electrolytic section where hydrogen is produced to hydrogenate the CO2 that has been captured during syngas cle...
متن کاملReal scenario and simulations on GLOSA traffic light system for reduced CO2 emissions, waiting time and travel time
Cooperative ITS is enabling vehicles to communicate with the infrastructure to provide improvements in traffic control. A promising approach consists in anticipating the road profile and the upcoming dynamic events like traffic lights. This topic has been addressed in the French public project Co-Drive through functions developed by Valeo named Green Light Optimal Speed Advisor (GLOSA). The sys...
متن کاملTowards a Theory of Time-Bounded Verification
We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue that this theory is both pertinent , in that it is fully adequate to handle a large proportion of ‘real-world’ real-time systems and specifications; and effective, in that the restriction to bounded time domains reclaims as dec...
متن کاملRefinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and functional requirements of the upper level specification. These mechanisms are discussed in the context of ASTRAL, which is a formal specification language for real-time systems. Refinement is accomplished by mapping a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Climate Change
سال: 2017
ISSN: 1758-678X,1758-6798
DOI: 10.1038/s41558-017-0013-9